Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
211	Problem Program Search Improvements Chapter 11: Limits of Propagation (Costas Add to Reading List Source URL: 4c.ucc.ie Language: English - Date: 2009-06-21 13:46:51 Constraint programming Artificial intelligence Backtracking Operations research Pattern matching
212	Problem Program Search Improved Search Strategy Chapter 16: More Global Constraints (Car Add to Reading List Source URL: 4c.ucc.ie Language: English - Date: 2009-06-21 13:50:48 Compilers GNU Compiler Collection Mega Man X4 Maths24 Local consistency Software Computer programming Constraint programming
213	A Model Seeker: Extracting Global Constraint Models From Positive Examples Nicolas Beldiceanu and Helmut Simonis TASC team (INRIA/CNRS), Mines de Nantes, France Cork Constraint Computation Centre Department of Computer S Add to Reading List Source URL: 4c.ucc.ie Language: English - Date: 2012-10-12 20:09:59 E Constraint programming Mathematics Mathematical optimization Constraint Cardinality
214	Semantic Acyclicity on Graph Databases Pablo Barceló Miguel Romero Moshe Vardi Add to Reading List Source URL: users.dcc.uchile.cl Language: English - Date: 2013-04-07 12:16:44 Database theory Decomposition method Theoretical computer science Directed graph Structure Mathematical logic Constraint programming Mathematics Conjunctive query
215	Scwm: An Extensible Constraint-Enabled Window Manager Greg J. Badros InfoSpace.com 2801 Alaskan Way, Suite 200 Seattle, WA 98121, USA Add to Reading List Source URL: www.badros.com Language: English - Date: 2001-02-16 17:19:10 Graphical user interfaces Constraint programming Cassowary Scwm X window manager FVWM Emacs Lisp Emacs SCIP Software System software Computing
216	Q IWA Publishing 2007 Journal of Hydroinformatics \| 09.3 \| Dynamic penalty function as a strategy in solving water resources combinatorial optimization problems with Add to Reading List Source URL: www.iwaponline.com Language: English - Date: 2007-06-08 03:13:08 Numerical analysis Cybernetics Operations research Heuristics Constraint programming Genetic algorithm Combinatorial optimization Constraint optimization Penalty method Mathematical optimization Applied mathematics Mathematics
217	The Ciao Approach to the Dynamic vs. Static Language Dilemma (Position/System/Demo Paper1 ) M. V. Hermenegildo1,2 F. Bueno1 M. Carro1 P. L´opez-Garc´ıa2,4 E. Mera3 J. F. Morales2 G. Puebla1 1 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2011-01-16 04:21:35 Programming paradigms Type theory Functional languages Logic in computer science Ciao Assertion Constraint programming Type system Programming language Software engineering Computing Computer programming
218	Answer Set Programming Answer Set Programs Answer Set Semantics Implementation Techniques Using Answer Set Programming Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2012-04-02 08:23:44 Computing Answer set programming Stable model semantics Prolog DLV Constraint satisfaction Logic programming Software engineering Computer programming
219	Comparing Solution Methods for the Machine Reassignment Problem Deepak Mehta, Barry O’Sullivan, and Helmut Simonis Cork Constraint Computation Centre, University College Cork, Ireland {d.mehta\|b.osullivan\|h.simonis}@4c Add to Reading List Source URL: 4c.ucc.ie Language: English - Date: 2012-10-12 20:10:48 Linear programming Local consistency Mathematics Applied mathematics Theoretical computer science Mathematical optimization Models of computation Convex optimization Operations research Constraint programming
220	ProcInternational Conference on Logic Programming, pp. 631–645, MIT Press. Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems1 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2003-02-05 05:51:42 Constraint programming Logic programming Programming paradigms Actor model Prolog Constraint logic programming Unification Variable Free variables and bound variables Software engineering Computing Computer programming

UPDATE